摘要:借助量子信息论中的技术,我们开发了一种方法,可以系统地获得多个矩阵变量中的算子不等式和恒等式。它们采用迹多项式的形式:涉及矩阵单项式 X α 1 ··· X α r 及其迹 tr ( X α 1 ··· X α r ) 的多项式表达式。我们的方法依赖于将对称群在张量积空间上的作用转化为矩阵乘法。因此,我们将极化的凯莱-汉密尔顿恒等式扩展为正锥上的算子不等式,用 Werner 状态见证来表征多线性等变正映射集,并在张量积空间上构造置换多项式和张量多项式恒等式。我们给出了与量子信息论和不变理论中的概念的联系。